Alexander Polynomial is a Knot Invariant

Theorem
The Alexander polynomial of a knot $K$ is invariant under Reidemeister moves.