Lehen esaldia: non izarrek agertzen duten naturaz gaindiko taldea. Gainera, G' finitua denean, isomorfismo aljebraiko bikoitza dago. 2. esaldia: Izarrak talde aljebraiko duala deitzen duenean, izomorfismo ez-naturala gertatzen da `` G'' finitua denean. Lehenengo esaldia eta bigarren esaldia zentzu berean daude? Bai edo ez?
-Ez, ez.