for p being Rational holds
( numerator p = denominator p iff p = 1 )