theorem Th32: :: ARYTM_3:32

for i, j being object holds not [i,j] in omega