theorem :: XPRIMES0:1151

canceled;