theorem Th15: :: RAT_1:18

for p being Rational st ( numerator p = p or denominator p = 1 ) holds
p is Integer