theorem :: XPRIMES2:5930

canceled;