theorem :: XPRIMES0:1423

canceled;