theorem Th5: :: NUMBER10:5

for p being Prime holds (- 1) mod p = p - 1