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