theorem :: XPRIMES2:2934

canceled;