An operator identity