theorem :: XPRIMES2:988

canceled;