Dehn–Nielsen theorem