card { the Element of R} <= clique# R by Lheight;
hence clique# R is positive ; :: thesis: verum