definition and theorems on connectedness