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