The axioms of geometry are lemmas of this kind, logical propositions, and they come close, moreover, to being tautologies because they are concerned with quantity alone and every qualitative difference has therefore been purged from it.