閉ループ系の各要素のゲインの積が 1 未満であれば、系が安定であることを保証する定理はどれか。

優先度逆転を防ぐため、資源を占有しているタスクの優先度を、それを待つ最高優先度タスクと同じにする仕組みはどれか。