lemat_burnside'a stud: Jak wyglada graf pełny K5 z usuniętym najliczniejszym skojarzeniem? Potrzebuje do wyliczenia wszystkich permutacji będących symetriami grafu G.