v .edgesOut() = {} ;
hence v .outDegree() is empty by GLIB_000:def 43, CARD_1:27; :: thesis: verum