Likewise, the sides of T1 can be bisected, yielding 2n sections of T1, at least one of which must require an infinite subcover of C. Continuing in like manner yields a decreasing sequence of nested n-boxes:
Vastaavasti laatikon T1 sivut voidaan halkaista, mistä saadaan 2n pienempää n-laatikkoa, joista yhdellä ei ole äärellistä peitteen C osapeitettä. Annetaan tälle joukolle nimi T1.ParaCrawl Corpus ParaCrawl Corpus