Wedderburn's theorem

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.