theorem :: XPRIMES0:1999

canceled;