El teorema establece que cada sucesión acotada en R tiene una subsucesión convergente.