theorem: the type of G-torsors is connected