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