theorem :: XPRIMES2:5293

canceled;