How do you multiply #sqrt30 * sqrt3#?