Theorems about algebras