theorem :: MOEBIUS1:32
Moebius 3 = - 1