Himpunan bebas

Dari graf yang menjadi aksen dari graf sebelumnya dapat disimbulkan sebuah Teorema :
IS ⊆ V, CL ⊆ V, IS = CL
berdasarkan Teorema tersebut dapat dibuktikan :