for G being _finite _Graph
for a, b being Vertex of G ex S being VertexSeparator of a,b st S is minimal