El teorema de Mazur afirma que si formula_1 es una curva elíptica no singular y tenemos un punto formula_2 de orden formula_3 finito, entonces formula_4 o formula_5.