Tate's isogeny theorem