Implication Details

Assumptions: finite

Conclusions: countable, essentially finite

Reason: This is trivial.