Usando ambas proposiciones podemos concluir que formula_76 que es lo que buscábamos comprobar.