theorem :: XPRIMES2:2964

canceled;