Implication Details

Assumptions: small

Conclusions: essentially small, locally small

Reason: This is trivial.