Identity Mapping is Right 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 Right Identity can be applied directly.