Prove identities and rights ()