Finally, we need to show that there is only one, unique such \\(h\\).

But that follows immediately from the fact that the category is thin.

That completes the proof.