theorem :: XPRIMES0:1459

canceled;