An Example Proof using Identities of Regular Expressions