Consider , the set of all subsets of of size .
Note that which is not divisible by .
Consider the natural (left multiplication) Group action of on .
It has at least one Orbit not divisible by .
Suppose that is the orbit of .
Now by Orbit-Stabilizer Theorem
so
so .
But also
because .
So
so .