Subtract the height of the dive from
The total distance he dove:
15 - 9 = 6
The pool is 6 meters deep