theorem :: XPRIMES1:1293

canceled;