How do you multiply sqrt30 * sqrt3?