theorem :: XPRIMES0:997

canceled;