theorem :: TOLER_1:4

for X being set holds Total X is strongly_connected