theorem Th106: :: GLCOLO00:106

for c being Cardinal
for G2 being b₁ -ecolorable _Graph
for v, e, w being object
for G1 being addEdge of G2,v,e,w holds G1 is c +` 1 -ecolorable