Gilbert and Porter Chapter 2.3: Rewrite of the proof of the Dual State Lemma

The proof of the Dual State Lemma in Chapter 2.3 of Gilbert and Porter's Knots and Surfaces has some problems with the exposition and a critical typo. This document reworks the proof to make it more correct and comprehensible. (This material starts on page 33.)