theorem :: XPRIMES2:293

canceled;