Main theorem of connectedness

Summary