Dehn's algorithm