theorem :: XPRIMES2:751

canceled;