とはいえ、 >「使われないものはどこで解放しても良い」の命題は真なのでこれの判定はそれほど自明じゃないと思いますよ