theorem :: XPRIMES2:987

canceled;