Knot theory: sufficiency of the Reidemeister moves.