Vi viser nå hvordan dette lemmaet kan brukes til å bevise hovedteoremet vårt.
Now, we show how this lemma can be used to prove our main theorem.