theorem :: XPRIMES2:7974

canceled;