– shekli qaplanıw haqqında lemma: eger kesindilerdiń sheksiz $M$ sisteması $[a,b]$ kesindini qaplay alsa, yaǵnıy $[a,b]$ kesindiniń hár bir noqatı $M$ sistema kesindileriniń keminde birewiniń ishinde jatsa, onda bul sistemadan $[a,b]$ kesindini qaplap alıwshı shekli sandaǵı $M^{\ast}$ kesindiler sistemasın ajıratıp alıw múmkin.