Property of symmetric equality

14 years ago