Para ello, supongamos formula_9como un conjunto de soluciones del primer sistema.