See also: Substitution property of equality, Symmetric property of equality, Transitive property of equality
... dumped 2003-03-17 with ...