theorem :: XPRIMES0:191

canceled;