Tenemos las siguientes proposiciones