theorem :: XPRIMES0:1297

canceled;