Today we will discuss the proof of .
Here, and are groups. We know , as .
Let . Then . Take any . For any , find and . Then . Hence, pairs of elements ) can be found such that for any two . Hence, we can form equivalence classes which partition , all with elements. This shows .
We can also digress to more complicated situations like , and find similar formulae.