theorem :: XPRIMES0:1249

canceled;