# Dehn and Wirtinger Presentations of Knot Groups and their connection

I'm currently working through N.D. Gilbert and T. Porter's Knots and Surfaces. In it the idea of a Wirtinger presentation and a Dehn presentation for a group associated with a given knot is introduced. It then says that:

Both presentations are a presentation of the same group.

I'm trying to prove this statement but I'm not sure how exactly I would go about it. Is it enough to show that generators for one both generate and satisfy the relations for the other?

I'm only looking at tame knots, and so we can assume that for a knot $K$ there are a finite number of generators for the Wirtinger presentation, say $n$ many, and from this we know that there are $n+2$ many generators for the Dehn presentation, via Euler's formula (for planar graphs). (Is this much correct?)

Also a Wirtinger presentation gives relations of the form $xyx^{-1}z^{-1}$ or $x^{-1}yxz^{-1}$, whereas a Dehn relation is always of the form $ab^{-1}cd^{-1}$, as well as the one relation of setting one generator equal to the identity.

Am I thinking about it the right way? And are my preliminary assumptions correct? If so, I would really appreciate a nudge in the right direction as I haven't been able to connect the generators of one to the relations of the other.