theorem :: XPRIMES0:1399

canceled;