We will discuss the definition a of Riemann surfaces and holomorphic mappings between them. We will show how the analytic and topological features of the mappings relate to one another, to prove that all holomorphic mappings between compact Riemann surfaces are branched covering maps.