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