ex C being finite Coloring of R st card C = chromatic# R by Def3;
hence chromatic# R is positive ; :: thesis: verum