Setning 1: Þar sem stjarnan er óeðlilegur hópur. Og þegar G'er endað er algebraískt tvöfalda isomorfism. Setning 2: Þar sem stjarnan kallar algebraískan tvöfaldan hóp er óeðlilegur isomorfismur þegar `` G'' er endanlegur. Spurning: Eru setning 1 og setning 2 sömu merkingar? Já eða nei?
Nei, ekki.