Maschke's theorem