theorem Th22: :: WSIERP_1:22

for q being Rational holds numerator q, denominator q are_coprime