Prvá veta: kde hviezda označuje neprirodzenú skupinu. Okrem toho, keď je `` G'' konečný, existuje algebraický dvojitý izomorfizmus. Vravenie 2: Keď hviezda volá algebraickú dvojitú skupinu, existuje neprirodzený izomorfizmus, keď `` G'' je konečná. Otázka: Vyjadrujú veta 1 a veta 2 rovnaký význam? Áno alebo nie?
Nie, nie.