Properties of equality - IXL A1.H.4 (H8Q)