theorem :: MOEBIUS3:34

Sum (Sgm {1}) = 1