Belyi's theorem: coverings, dessins, and fields of definition

Belyi's theorem asserts that a smooth projective curve over $\mathbb{C}$ is defined over a number field if and only if it admits a non-constant morphism to $\mathbb{P}^1$ ramified over at most three points. This article gives a complete, self-contained account of the theorem -- both implications, wi