For a nonempty link with components, the Jones polynomial skein relation at makes a crossing change preserve the value. Crossing changes turn the link into an unlink with the same number of components. Repeated Jones polynomial of a split union gives the formula. In particular the Jones polynomial is never the zero polynomial.
False. The zero polynomial is already a counterexample. The Jones polynomial evaluation at one of a nonempty link with components is
To prove this, specialize the Jones polynomial skein relation at : switching a crossing preserves the value. Switch crossings until the diagram is an unlink without changing its component count. The Kauffman bracket loop rule, equivalently the Jones polynomial of a split union, gives the displayed evaluation. Hence arbitrary Laurent polynomials cannot occur.