How do you multiply #sqrt7 * sqrt2#?