for p being Nat st p + 1 is not Prime holds
ReciProducts (p + 1) = ReciProducts p