Si formula_27, entonces no puede ser formula_23 y formula_24, pues si formula_24 resulta formula_31 por definición de la igualdad de conjuntos, lo que contradice formula_27, y por tanto ha de ser formula_21 y formula_22, con lo que claramente formula_7, además de que formula_8, pues suponer que formula_37 nos lleva de nuevo a formula_25 cuando la hipótesis dice lo contrario.