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