Tate's theorem