Connected space/Proofs