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