La vere en konseptklasse over et endelig domene . Det eksisterer da en delmengde av med en størrelse som er på det meste || − 1 slik at er et vitnemengde for alle konsept i .