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