theorem :: XPRIMES0:269

canceled;