En el teorema 7 se demostró que la fracción formula_68 debe ser una reducida de formula_69.