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