 Burnside lemma

For a finite group $G$ acting on a finite set $X$, the number of orbits isIt follows by counting pairs $(g,x)$ with $gx=x$ first by $g$ and then by $x$.