a1=a3より、α=α^2lα^2−2lとなって、また場合分け必要になりますよね?
このとき、和集合になるんですか?
それともここでは場合分けいらないでしょうか?