theorem :: XPRIMES1:1670

canceled;