sha_finiteness_conjecture