Implication Details

Assumptions: locally small

Conclusions: locally essentially small

Reason: This is trivial.