zajedničkih vrhova, to je \ left \ vert M \ right \ vert \ leq \ left \ vert K \ right \ vert. Stoga i za maksimalno
\ bar K također vrijedi \ left \ vert M ^ \ ast \ right \ vert \ leq \ left \ vert \ bar K \ right \ vert, tj. \ upsilon ( G ) \ leq \ tau (
vert \ leq \ left \ vert \ bar K \ right \ vert, tj. \ upsilon ( G ) \ leq \ tau ( G ). Teorem 10. Skup S je stabilan ako i samo ako je skup V
T, ali ova tehnika sigurno je primjenjiva za širine w \ leq 12. Lijevo od osi simetrije imamo neparan broj vrhova
( i, j ) postoji ako i samo ako vrijedi nejednakost 0 \ lt j - i \ leq 3. Stoga je skup svih lukova grafa jednak E = \ lbrace ( 1, 2 ), (
kapacitet, mora vrijediti nejednakost 2 x 1 3 x 2 \ ( \ leq \ ) 10. Prema prirodi postavljenoga problema, x 1 i x 2 moraju
, iako u definiciji nije navedeno, razumijevati da je 0 \ leq t \ leq k. Uobičajeno je broj blokova dizajna označiti s b .
u definiciji nije navedeno, razumijevati da je 0 \ leq t \ leq k. Uobičajeno je broj blokova dizajna označiti s b. Dizajn
) dizajn. Tada je za svaki cijeli broj s za koji vrijedi \ 0 \ leq s \ lt t, broj \ lambda_ s blokova incidentnih s bilo kojih s
je s - ( v, k, \ lambda_ s ) dizajn za svaki s koji ima svojstvo 1 \ leq s \ leq t. \ begin Dokaz Neka je S skup od s točaka, gdje je 0 \ leq
v, k, \ lambda_ s ) dizajn za svaki s koji ima svojstvo 1 \ leq s \ leq t. \ begin Dokaz Neka je S skup od s točaka, gdje je 0 \ leq s \ lt t
leq s \ leq t. \ begin Dokaz Neka je S skup od s točaka, gdje je 0 \ leq s \ lt t, i m broj blokova koji sadržavaju svaku točku iz S .
s točkama zadanog skupa. Ako je \ lambda = 1 i t \ lt I \ leq k, onda je \ lambda_ i ^ 0 = 1. Neka je sada j \ geq1 i
pretpostavci indukcije slijedi Brojevi \ lambda_ i ^ j, 0 \ leq i, j \ leq t i i j \ leq t mogu se posložiti u Pascalov trokut
indukcije slijedi Brojevi \ lambda_ i ^ j, 0 \ leq i, j \ leq t i i j \ leq t mogu se posložiti u Pascalov trokut prikazan na