Sea formula_4 un divisor propio de formula_58 entonces formula_59 lo que implica que formula_5 está en formula_61 Si formula_4 estuviera en formula_63 formula_5 dividiría a formula_27 por lo que formula_4 y formula_5 serían asociados.