(v .inDegree()) +` (v .outDegree()) = 0 + 0 ;
hence v .degree() is empty by GLIB_000:def 44; :: thesis: verum