Tenemos así la siguiente proposición.