theorem :: XPRIMES2:2974

canceled;