theorem :: XPRIMES0:271

canceled;