reserve E for compact non vertical non horizontal Subset of TOP-REAL 2,
  C for compact connected non vertical non horizontal Subset of TOP-REAL 2,
  G for Go-board,
  i, j, m, n for Nat,
  p for Point of TOP-REAL 2;

theorem Th14:
  for f be FinSequence st len f >= 2 holds Center f > 1
proof
  let f be FinSequence;
  assume len f >= 2;
  then len f div 2 >= 1 by NAT_2:13;
  then len f div 2 + 1 > 1 by NAT_1:13;
  hence thesis by JORDAN1A:def 1;
end;
