for i being Nat
for p being Point of (TOP-REAL 2)
for G being Go-board st 1 <= i & i <= len G & p in Int (v_strip (G,i)) holds
p `1 > (G * (i,1)) `1