Tate's isogeny theorem — theorem in algebraic geometry