Definiendo las variables, tenemos que: