theorem :: TOLER_1:5

for X being set holds Total X is connected