Luego, cuando formula_4 es un divisor propio de formula_58 formula_70 es un subconjunto propio de formula_61