theorem Th34: :: MOEBIUS1:34

for p being Prime holds Moebius p = - 1