Satisfying Pappus's theorem universally is equivalent to having the underlying coordinate system be commutative.
Att uppfylla Pappos' sats universellt är detsamma som att det underliggande koordinatsystemet är kommutativt.