Nội dung này: The finiteness conjecture for skein modules