Implication Details

Assumptions: essentially finite

Conclusions: essentially small

Reason: This is trivial.