theorem :: XPRIMES0:1129

canceled;