Algebraic Properties of Equality with Example