for a, b being natural Ordinal st a,b are_coprime holds
RED (a,b) = a