theorem :: XPRIMES0:1489

canceled;