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