theorem Th30: :: ARYTM_3:30

for i, j being set holds [i,j] is not Ordinal