(v .inNeighbors()) \/ (v .outNeighbors()) = {} ;
hence v .allNeighbors() is empty by GLIB_000:def 48; :: thesis: verum