Означення підпослідовності. Співпадіння границь послідовності і її підпослідовності. Існування збіжної підпослідовності обмеженої послідовності. Твердження доведені.