theorem :: MOEBIUS3:60

indexp 0 = 0 ;