Bewijs

De stelling volgt onmiddelijk uit de resultaten van Sectie 1.3, en met name het algoritme uit die sectie.