Category:Identities are Idempotent