Lause 1: Tähti merkitsee algebrallista kaksoisryhmää. Kun `` G'' on lopullinen, on olemassa luonnoton isomorfismi. 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?
- Kyllä.