theorem :: XPRIMES0:317

canceled;