How do you simplify #sqrt2 * sqrt3#?