Es todo punto formula_1 que verifica "todas" las restricciones del modelo.