Como "ambas" partes pueden calcular formula_13, entonces la podemos usar como clave compartida.