Thus we need only check edges of the form v_i,v' with v_i in A and v' in V(G) - A. If v' is adjacent to v_i then by construction also v' is adjacent to x_i, which yields that g(v') and g(x_i) are different.
Kaya kailangan lang namin i-tsek ang mga gilid ng form v_i, v 'na may v_i sa A at v' sa V (G) - A. Kung v 'ay katabi v_i pagkatapos ay sa pamamagitan ng konstruksiyon din v' ay katabi x_i, na kung saan ay magbubunga na g (v ') at g (x_i) ay naiiba.