theorem :: XPRIMES2:995

canceled;