Setning 1: þar sem stjarnan táknar algebraískan tvöfaldan hóp. Og þegar G er endað er óeðlilegur isomorfismur. 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?
Já, það er.