theorem :: XPRIMES1:995

canceled;