theorem :: XPRIMES2:6979

canceled;