How do you multiply sqrt7 * sqrt272?