theorem :: NUMERAL3:99

for a being Rational
for b being Integer holds denominator (a + b) = denominator a