a∈X₁に対して