Теорема на Болцано-Вайерщрас (за безкрайните редици)

Теорема на Болцано-Вайерщрас (за безкрайните редици): Всяка безкрайна и ограничена редица $r:\mathbb {N} \to \mathbb {R}$ притежава сходяща подредица.