Implication Details

Assumptions: strongly connected

Conclusions: connected

Reason: This holds by definition.