theorem Th3: :: ARYTM_3:3

for A being Ordinal st {} ,A are_coprime holds
A = 1