theorem :: MOEBIUS3:34
Sum (Sgm {1}) = 1