De hecho, para muchas demostraciones es precisamente esta caracterización de compacidad la que se utiliza.