theorem Th34: :: ARYTM_3:34

for x being Element of RAT+ holds numerator x, denominator x are_coprime