Kolyvagin's result on the vanishing of $\sha(E/K)[p^\infty]$ and its consequences for anticyclotomic Iwasawa theory.