take the non locally-finite _Graph ; :: thesis: not the non locally-finite _Graph is finite-ecolorable
thus not the non locally-finite _Graph is finite-ecolorable ; :: thesis: verum