theorem :: XPRIMES0:1987

canceled;