theorem Th35: :: ARYTM_3:35

for x being Element of RAT+ holds denominator x <> {}