Dehn-Nielsen theorem