Let be a Sylow p-subgroup of and assume that . Show that .
Could this be shown without giving out the cardinality of G first? I mean, for example without assuming first that G has a cardinality a power of a prime, or G has even cardinality, or anything like that. How do you start solving this?