Identity Mapping is Left Identity/Proof 2

Proof
By definition, a mapping is also a relation.

Also by definition, the identity mapping is the same as the diagonal relation.

Thus Diagonal Relation is Left Identity can be applied directly.