Cześć,

        niestety w lemacie z części z * ostatniego kółka z grup był BŁĄD -- powinno być NWW(ord(a), ord(b)), zamiast ord(a)ord(b). Błędny lemat nie działa praktycznie w żadnej grupie -- całkiem miłe jest znalezienie kontrprzykładu.

        Poprawiona wersja jest na stronie.

        Przepraszam i pozdrawiam,

                Joachim Jelisiejew