Real numbers/Ordering axioms/Archimedean/Implications/Fact/Proof2