La resolución del problema es un procedimiento que determina cual es el único formula_5 que satisface formula_6.