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