Divide 9÷( square root of 2)