This talk will present a recent paper of S. Mochizuki of the same title. The paper strengthens a result of Belyi, on maps from algebraic curves to the projective line, branched at three points.