theorem :: XPRIMES2:698

canceled;