
theorem
  for T being TopSpace holds
    Flip IntMap T = ClMap T
  proof
    let T be TopSpace;
    Flip Flip ClMap T = Flip IntMap T by Th25;
    hence thesis by Th23;
  end;
