Because is finite in order for to be surjective it must be injective, but the contradiction follows from (1) and (2).
Sapagkat ay may hangganan sa order para sa na surjective ito ay kailangang injective, ngunit ang pagsalangsang sa mga sumusunod mula sa (1) at (2).