theorem :: XPRIMES2:2979

canceled;