theorem :: CHORD:105

for G being _finite _Graph
for S being VertexScheme of G holds 1 <= len S by NAT_1:14;