Bewijs van het algoritme
Het algoritme is een direct gevolg van het lemma en het corollarium.