Implication Details

Assumptions: strongly connected, thin

Conclusions: trivial

Reason: This is obvious.