2.2 The set of knotted trivalent graphs is finitely generated

Summary. Here we will show that with the elementary moves of the previous section, the set KTG is generated by just two of it's elements: the trivially embedded positively twisted Möbius band $\MobiusSymbol$ and the trivially embedded tetrahedron $\tetrahedron$. For now, see [BN6, slides 11-16] and [BN7, handout].