Some identities in density-functional theory