for i1, i2 being Nat
for f being FinSequence of (TOP-REAL 2)
for M being Go-board st f is_sequence_on M holds
mid (f,i1,i2) is_sequence_on M