Beginning with G add vertices X={x1,...,xn} and one more vertex y. Add edges to make x_i adjacent to all of N(v_i), and let N(y)= X. Clearly X is an idependet set in G'.
Na nagsisimula sa G idagdag vertices X = (x1,..., xn) at isa pa kaitaasan y. Magdagdag ng mga gilid upang gumawa ng x_i katabi sa lahat ng N (v_i), at hayaan ang N (y) = Maliwanag X. X ay isang idependet-set sa G '.