The oldest extant axiomatic proof of the theorem is presented.

• 是距今最早的公理化证明。