for G being _finite _Graph holds MCS:CSeq G is iterative