Simplify 7/( square root of 2)