:אם האלגוריתם מדויק זו הוכחה מדויקת. לעיתים קרובות הדרך להוכיח משהו היא להציג אלגוריתם שיוכיח אותו באופן כללי (כמו למשל הוכחה שלכל מטריצה יש צורה מדורגת, בעזרת אלגוריתם גאוס) --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font> 23:05, 3 באוגוסט 2011 (IDT)
תודה