Theorems about finite groups