for T being Clique of R holds card T <= card ({} R) ;
hence clique# R is empty by Lheight; :: thesis: verum