Since the mid 19th century it has been known that every Desarguean projective’ plane is coordinatizable over a division ring. This coordinatization procedure was used by von Neumann [9] to show that every complemented ...