Tenemos, por lo tanto la siguiente proposición.