二つの定義が同値かどうか確かめてみろよ