Property of symmetric equality

13 years ago