The equivalence of Side–Angle–Side and Side–Side–Side in the absolute plane

摘要

We show that if we start with an absolute plane, remove Side– Angle–Side as an axiom and replace it with Side–Side–Side as a new axiom, then the new resulting axiom system is also an absolute plane. In particular, we show that Side–Angle–Side still holds in the new axiom system.