Implication Details

Assumptions: finite, one-way, skeletal

Conclusions: direct

Reason: See the nLab for a proof.