  We give a new, algebraically computable formula for skein modules of closed
3-manifolds via Heegaard splittings. As an application, we prove that skein
modules of closed 3-manifolds are finite-dimensional, resolving in the
affirmative a conjecture of Witten.
