theorem :: XPRIMES0:1301

canceled;