Então e pertencem à mesma componente conexa. Como é desconexo terá de existir um terceiro vértice que não pertence a essa componente conexa. Então e não são arcos em , logo são arcos de e existe uma cadeia em :
Logo se é desconexo, é conexo.
E analogamente, se for desconexo, é conexo.