:Category:Theorems in algebra