theorem :: MOEBIUS3:73

ReciProducts 1 = {1}