theorem :: MOEBIUS1:31
Moebius 2 = - 1