Implication Details

Assumptions: essentially small

Conclusions: locally essentially small, well-copowered, well-powered

Reason: This is trivial.