theorem ReciSubset: :: MOEBIUS3:75

for n being Nat holds ReciProducts n c= ReciProducts (n + 1)