A finite division ring is a field.
One of the many consequences of this theorem is that for a finite projective plane, Desargues' theorem implies Pappus' theorem.
