theorem :: XPRIMES0:617

canceled;