theorem :: XPRIMES2:2989

canceled;