theorem :: XPRIMES0:1979

canceled;