Inserted: 20 dec 2018
Last Updated: 20 dec 2018
Acknowledgement for support from the GeoMeg project will appear in an upcoming version.
Sto\"ilow's theorem from 1928 states that a continuous, light, and open mapping between surfaces is a discrete map with a discrete branch set. This result implies that such mappings between orientable surfaces are locally modelled by power mappings $z\mapsto z^k$ and admit a holomorphic factorization. The purpose of this expository article is to give a proof of this classical theorem having the readers interested in discrete and open mappings in mind.