Archimedes' lemma

  1. redirect Hilbert's axioms