I saw different statements and proofs. One involving induced representations and restrictions, another one only using basic group theory that is composition series and chains. They say the theorem is easily viewed and understood on its basis on module theory, but I consider it not. In the end, is it the same? I mean, a irreducible F-representation of G would always be the simple F(G)-module.