theorem :: XPRIMES0:1229

canceled;