theorem :: MOEBIUS3:70

ReciProducts 0 = {1}