Multiplication Property of Equality.