for G being _Graph
for v, w being Vertex of G holds
( v,w are_adjacent iff w in v .allNeighbors() )