Wedderburn’s theoremA finite division ring is a field.One of the many consequences of this theoremis that for a finite projective plane,Desargues’ theorem implies Pappus’ theorem.