Talk:Tate's isogeny theorem