Multiplication Property of Equality