proving identities examples?