theorem :: XPRIMES2:1293

canceled;