# Amphicheiral knot polynomials — H1

For every positive odd integer \(\ell\), there exists \(f_\ell\in\mathbb Z[z]\) such that
\[
f_\ell(s-s^{-1})f_\ell(s^{-1}-s)
\equiv(-1)^{(\ell-1)/2}\frac{s^\ell-s^{-\ell}}{s-s^{-1}}\pmod4.
\]
The quotient on the right is the Laurent polynomial
\(s^{\ell-1}+s^{\ell-3}+\cdots+s^{1-\ell}\); the congruence is coefficientwise in \((\mathbb Z/4\mathbb Z)[s^{\pm1}]\).