theorem :: XPRIMES0:1319

canceled;