Axiom1: Things which are equal to the same thing are equal to one another