Property of symmetric equality

12 years ago