あ、>>704にもう書いてあったか。すまん。

矛盾が起こることを、全てのケースについていっぺんに示すのは
おそらくけっこう面倒な事になるので
>>705でやっているように、n日目についてだけを考えて
あとは数学的帰納法ってのが見通しがよさそう。