for G being _Graph
for v being Vertex of G st 4 c= G .order() & v is endvertex holds
ex x, y, z being Vertex of G st
( v <> x & v <> y & v <> z & x <> y & x <> z & y <> z & v,x are_adjacent & not v,y are_adjacent & not v,z are_adjacent )