Centrémonos en un sistema que llamaremos formula_1, y al conjunto de todos los sistemas restantes lo llamaremos formula_2.