theorem :: XPRIMES0:751

canceled;