theorem :: XPRIMES0:233

canceled;