theorems on connectedness