theorem :: MOEBIUS3:71

for p being Prime st p > 2 holds
ReciProducts (p + 1) = ReciProducts p