theorem INT29: :: NEWTON03:11

for a, b, c being Nat st not a divides b holds
not a * c divides b