RE: Rational number proof...