Theorem 2.1

f(n) = $\Theta(g(n))$ if and only if f(n) = O(g(n)) and f(n) = $\Omega(g(n))$.