Note also that the exclusion restriction (condition 4) is redundant; it follows from conditions 2 and 3.
また、除外制約（条件4）は条件2と3から導けるので省略できる。