theorem Th48: :: GLCOLO00:48

for G2 being _Graph
for v, e, w being object
for G1 being addAdjVertex of G2,v,e,w holds
( G1 is finite-vcolorable iff G2 is finite-vcolorable )