take {} (Vertices G) ; :: thesis: {} (Vertices G) is stable
thus {} (Vertices G) is stable ; :: thesis: verum