theorem :: XPRIMES2:920

canceled;