theorem :: XPRIMES0:491

canceled;