take the edgeless _Graph ; :: thesis: the edgeless _Graph is finite-vcolorable
thus the edgeless _Graph is finite-vcolorable ; :: thesis: verum