theorems of sylowhoo
30 following