theorem :: XPRIMES0:1993

canceled;