theorem :: XPRIMES0:1213

canceled;