Se verifica que con esas operaciones formula_92 tiene una estructura de anillo (ver ejercicios).