theorem :: XPRIMES0:151

canceled;