>>76
>トートロジー。
定義の記述が形式としてトートロジーになるのはあたりまえですね。