משפט 1: הם הראו כי האלגוריתם AltMinComplete יכול לשחזר את הנוסחה 9 בצעדים בלתי עקביים על ידי התבוננות הנוסחה 203 הכניסות אקראיות של נוסחה 206 - מטריצה נוסחה 9. משפט 2: הם הראו כי על ידי התבוננות נוסחה _ 203 הכניסות אקראיות של נוסחה _ 206 מטריצה נוסחה _ 9, אלגוריתם AltMinComplete יכול לשחזר נוסחה _ 9 בצעדים בלתי עקביים. שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
כן, כן.