theorem :: XPRIMES0:197

canceled;