theorem Th30: :: MOEBIUS1:30

Moebius 1 = 1