Ahora bien, por la definición de inclusión de conjuntos, esta proposición es equivalente a formula_19, como queríamos demostrar.