Artin-Zorn theorem

Wedderburn’s theorem (proof here) states that any finite division ring is a field. Interestingly, apparently this generalizes to nonassociative division rings that are alternative. This is known as the Artin-Zorn theorem. The best online reference I could find was here.