take the c -edge _Graph ; :: thesis: the c -edge _Graph is c -ecolorable
thus the c -edge _Graph is c -ecolorable ; :: thesis: verum