What is the square root of 5 times the square root of 2?