compacto, obtenemos la siguiente proposición.