Resumimos la definición y las propiedades de la proposición anterior, diciendo