The following identities are satisfied