Thus L ⊆ NL ⊆ P. The inclusion of L into P can also be proved more directly: a decider using O(log n) space cannot use more than 2O(log n) = nO(1) time, because this is the total number of possible configurations.
Astfel L ⊆ NL ⊆ P. Includerea L în P poate fi demonstrată și mai direct: un decident ce folosește spațiu de dimensiune O(log n) nu poate necesita un timp mai mult de 2O(log n) = nO(1), pentru că acesta este numărul total de configurații posibile.