Sean formula_260 formula_261 y formula_262 ¿Qué es formula_263 ? Notemos la notación aditiva usada ya que la operación del grupo es suma.