theorem :: XPRIMES0:1163

canceled;