v .edgesIn() = {} ;
hence v .inDegree() is empty by GLIB_000:def 42, CARD_1:27; :: thesis: verum