take the non loopless _Graph ; :: thesis: not the non loopless _Graph is finite-vcolorable
thus not the non loopless _Graph is finite-vcolorable ; :: thesis: verum