Stelling 1: de ster staat voor de onnatuurlijke groep. Bovendien is er een algebraïsch duaal isomorfisme als `` G'' eindig is. Waar de ster de algebraïsche duale groep noemt, is er een onnatuurlijk isomorfisme als `` G'' eindig is. Vraag: Hebben zin 1 en zin 2 dezelfde betekenis? Ja of nee?
Nee, nee.