theorem :: XPRIMES2:2898

canceled;