>>751
不等式　−α≦y-α≦π-α　を満たす　y　は
αの条件から
-π/2≦y-α≦πもしくは-π/2<y-α<π・・・（＊）
を満たしているのは明らかだから、
（＊）を考える必要はない、ということ。