Symmetric property of equality