等価性の定義まで。