Notemos que en la proposición anterior, (y) se obtiene de (x) eliminando