Ontify
Stating that any finite alternative division ring is necessarily a finite field, named after Emil Artin and Max Zorn.