theorem :: XPRIMES0:1181

canceled;