theorem :: GOBOARD6:30

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