If f is holomorphic near the closed unit disc, ∣f∣≥1 on its boundary, and ∣f(z0)∣<1 at one interior point, then fmaps the open unit disc onto aset containing the open unit disc. Rouché's theoremfirst shows that fhas a zero and then that every f−w with ∣w∣<1 has one.