Pelo Lema 2 e pela definição \(K(G)\) está e todo redutor.

Se um conjunto finito contém \(K(G)\) ele será redutor também.

Talvez tenha ficado um pouco confuso o fato de existir apenas um Kernel, demorei um pouquinho para entender também, bom vamos analisar, a ideia do redutor é dividir nosso grafo \(G\) em partes conexas de ordem menor (ao menos em sua maioria), assim o que tentamos quebrar, em certo sentido, é o mínimo possível de pontes por exemplo, se tivessemos dois Kernels disjuntos, significaria que na realidade um deles não esta reduzindo o conjunto, pois ainda existirão infinitas componentes de ordem igual a de \(G\).