theorem :: XPRIMES0:229

canceled;