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