Use Rouche's theorem to prove that the equation z exp(a-z) = 1 where a 1 has one root exactly in the unit disk, then verify that this root is positive.