Implication Details

Assumptions: finite

Conclusions: essentially finite, small

Reason: This is trivial.