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