次の日本語には間違っている部分があります。その部分を直して、正しい日本語の文を出力してください。
アローは、合理的であるための制約条件として、（１）パレート効率性、（２）個人の選好の自由、（３）選択の独立性、（４）非独裁性の４つを挙げ、これらの制約条件を満たす社会的選好は存在しないことを証明した（アロー自身の本では「アローの可能性定理」という名前だげ，「アローの不可能性定理」という名前の方が有名になってしまった）。
アローは、合理的であるための制約条件として、（１）パレート効率性、（２）個人の選好の自由、（３）選択の独立性、（４）非独裁性の４つを挙げ、これらの制約条件を満たす社会的選好は存在しないことを証明した（アロー自身の本では「アローの可能性定理」という名前だが，「アローの不可能性定理」という名前の方が有名になってしまった）。