theorem :: XPRIMES2:5974

canceled;