theorem Th33: :: ARYTM_3:33

for i, j being Element of omega holds
( [i,j] in RAT+ iff ( i,j are_coprime & j <> {} & j <> 1 ) )