theorem :: XPRIMES2:787

canceled;