Open mapping theorem (complex analysis)

A nonconstant holomorphic function on a domain maps open sets to open sets. Around any point, isolate its zero relative to the value there and use Rouché's theorem to show that every sufficiently nearby value has a preimage.