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