Ensimmäinen lause: Tähti merkitsee epäluonnollista ryhmää. Kun `` G'' on rajallinen, on olemassa algebrallinen kaksoisomorfismi. Lause 2: Kun tähti kutsuu algebrallisen kaksoisryhmän, on olemassa luonnoton isomorfismi, kun `` G'' on rajallinen. Kysymys: Ilmaisevatko lause 1 ja lause 2 samaa merkitystä? - Kyllä vai ei?
- Ei, ei.