代入できるかどうかはどちらの場合もあり得るのに、
勝手にできることにしたら
自動的にそうでない場合が起きないことを証明したことになるのか……
すごいな。えらいえらい。