for G, H being _finite _Graph
for g being VertexScheme of G st G == H holds
g is VertexScheme of H