ああ、これ→：＝？

aの定義がabであるってことで良いのね。
で？それがabbと言い換えられない事とどう関係あんの？