for p being Rational holds
( denominator (- p) = denominator p & numerator (- p) = - (numerator p) )