reserve m,k,j,j1,i,i1,i2,n for Nat,
  r,s for Real,
  C for compact non vertical non horizontal Subset of TOP-REAL 2,
  G for Go-board,
  p for Point of TOP-REAL 2;

theorem Th5:
  field RealOrd = REAL
proof
  field RealOrd c= REAL \/ REAL by RELSET_1:8;
  hence field RealOrd c= REAL;
  thus thesis by Lm1,PARTIT_2:8;
end;
