Monoid diagram and “identity morphism is unique”

Question

In Category theory: Monoid topic, I often observe explanation like this:

http://yogsototh.github.io/Category-Theory-Presentation/categories.html#slide-28<