ご回答大変ありがとうございます。

> 失礼しました. dcd = d ですね.
> このとき d(abc)d = d でもありますから,
> 再び uniqueness より abc = c です.
> 後は宜しいでしょう.

ありがとうございます。おかげさまで上手くいきました。

吉田京子