theorem :: XPRIMES0:281

canceled;