theorem Th11: :: NUMBER03:11

for m being Nat
for n being Integer holds
not not n mod (m + 1) = 0 & ... & not n mod (m + 1) = m