Operator identities corresponding to inverse problems for Dirac systems