for G being _finite _Graph
for v being set holds ((MCS:Init G) `2) . v = 0 ;