Ahora, de aquí hay que deducir: