Tate–Shafarevich conjecture