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