Pasch's axiom

comments