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