theorem :: NUMBER08:5

for b, c being Nat
for r being Real st b <> 0 & c <> 0 holds
((r * b) + c) / b > r