for G being _Graph
for u, v, w being Vertex of G st v is endvertex & u <> w & u,v are_adjacent holds
not v,w are_adjacent