theorem :: XPRIMES0:1303

canceled;