Implication Details

Assumptions: locally ℵ₁-presentable

Conclusions: locally presentable

Reason: This is trivial.