theorem :: XPRIMES0:293

canceled;