theorem :: XPRIMES2:934

canceled;