for T being StableSet of R holds card T <= card ({} R) ;
hence stability# R is empty by Def6; :: thesis: verum