theorem :: XPRIMES2:385

canceled;