theorem :: XPRIMES0:257

canceled;