Multiplication Using Known Facts