theorem :: XPRIMES2:979

canceled;