How do you multiply sqrt7 * sqrt2?