theorem Th33: :: NUMBER05:37

for a, b, c being Nat st c <> 0 & c < b holds
not ((a * b) + c) / b is integer