איוו ‭5.10‬ נכונות חלקית של אלנוריתם מנדלי האנוי: הוכחת N בהנחת ‭N-J‬