Nuestra próxima proposición formaliza algo que podíamos haber intuido.