theorem :: XPRIMES2:974

canceled;