サヴィッチの定理
証明
この証明は構築的に行われる。まず、STCON問題（有向グラフの2点間の経路の有無を問う問題）のアルゴリズムとして、n 個のノードからなるグラフについて log²(n) の領域を要する方式を示す。次にこれを用いて、開始ノードから受容ノードまでの経路があるかどうかを決定する非決定性機械の計算機（非決定性チューリング機械の計算経路からなる木構造）に対応したアルゴリズムを実行する決定性機械を構築する。STCON問題はNL完全なので、以上から NL に属する全問題が L² に属することが示される。