Implication Details

Assumptions: accessible, complete

Conclusions: locally presentable

Reason: This follows from one of equivalent formulations of locally presentable categories.