theorem :: XPRIMES0:1973

canceled;