theorem Th37: :: ARYTM_3:37

for x being Element of RAT+ holds
( x <> {} iff numerator x <> {} )