Proof Using Identities Of Regular Expression