Así que formula_14, lo que significa que si tenemos un A que cumpla para un problema, entonces para cualquier formula_13