LEARN: Subtraction Property of Equality