theorem :: XPRIMES1:5293

canceled;