1. mondat: ahol a csillag jelöli az algebrai kettős csoportot. Továbbá, ha `` G'' véges, akkor van egy természetellenes izomorfizmus. 2. mondat: Ahol a csillag az algebrai kettős csoportot hívja, akkor van egy természetellenes izomorfizmus, amikor `` G'' véges. Kérdés: Az első és a második mondat ugyanazt jelenti? - Igen vagy nem?
- Igen, igen.