Luego para cualquier formula_100 tenemos