theorem :: XPRIMES0:347

canceled;