theorem :: XPRIMES2:4974

canceled;