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