>>51
>>46 vs >>47 とかいう話でなくて（どっちでもいい）
ラストの「このとき、(1), (2)は…」のところ
αを共有解としているのだから、(1), (2) が共有解をただひとつ持つかをチェックしても意味なし