Alexander Polynomial is a Knot Invariant

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