Las dos primeras propiedades son debidas a la distributividad del producto respecto de la suma en formula_11 y a que formula_12, la tercera se debe a que el producto es asociativo en formula_11, y la cuarta se debe a que formula_14 es subcuerpo de formula_11, por lo que el elemento unidad de formula_11 es el elemento unidad de formula_14.