Category:Named Theorems/Burali-Forti