Main theorem of connectedness