Implication Details

Assumptions: exact filtered colimits

Conclusions: filtered colimits, finitely complete

Reason: This holds by definition.