theorem ReciPrimeNotSummable: :: PRIMRECI:13

not ReciPrime is summable