We need to list SAS as an explicit axiom in all three of the geometries that we’ve been studying. (note that Hilbert’s list has it in Group III, Axioms of Congruence).

Previous slide

Next slide

Back to first slide

View graphic version