Vertices G <> {} by Th28;
then consider v being object such that
A1: v in Vertices G by XBOOLE_0:def 1;
reconsider S = {v} as finite Subset of (Vertices G) by A1, ZFMISC_1:31;
card S <= stability# G by Def24;
hence stability# G is positive ; :: thesis: verum