LEARN: Multiplication Property of Equality