Does 1 over square root 2 equal square root 1/2?