Pappus's theorem must be assumed as an independent axiom to guarantee commutativity of the coordinat...