reserve FT for non empty RelStr,
  A,B,C for Subset of FT;

theorem Th24:
  for x being Point of FT holds {x} is connected
proof
  let x be Point of FT;
  assume not {x} is connected;
  then consider P,Q being Subset of FT such that
A1: {x} = P \/ Q and
A2: P <> {} and
A3: Q <> {} and
A4: P misses Q and
  not(P^b meets Q & P meets Q^b);
  P <> Q
  by A2,A4;
  hence contradiction by A1,A2,A3,ZFMISC_1:38;
end;
