Cualquier subconjunto cerrado y acotado de R es compacto.