Proof. In a single Reidemeister II move, the identity resolution is always sent to the identity resolution via the identity. The maps involving the resolution with two thick edges are negatives of each other, when comparing the two types of Reidemeister II moves with fixed order of crossings as in (3.2). ∎
Original source: arXiv:1907.12194v5