(the_Target_of G) .: (v .edgesOut()) = {} ;
hence v .outNeighbors() is empty by GLIB_000:def 47; :: thesis: verum