ここは下スタックのノードを解放するための前提条件です