for p being Rational holds
( p = (numerator p) / (denominator p) & p = (numerator p) * ((denominator p) ") )