משפט 1: שבו הכוכב מציין את הקבוצה הלא טבעית. יתר על כן, כאשר G' הוא סופי, יש איזומורפיזם כפול אלגבירי. משפט 2: כאשר הכוכב קורא לקבוצה הדו-אלגבירית, יש איזומורפיזם לא טבעי כאשר G'' הוא סופי. שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
לא, לא.