theorem :: XPRIMES0:1153

canceled;