for a being natural Ordinal st a <> {} holds
RED (a,a) = 1