Un subanillo formula_40 es propio cuando no coincide con todo el anillo, es decir, si formula_52.