theorem :: XPRIMES2:7962

canceled;