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