theorem :: XPRIMES2:780

canceled;