Axiom:Euclid's Common Notions


 * 1) Things which are equal to the same thing are also equal to each other.
 * 2) If equals are added to equals, the wholes are equal.
 * 3) If equals are subtracted from equals, the remainders are equal.
 * 4) Things which coincide with one another are equal to one another.
 * 5) The whole is greater than the part.