משפט 1: אסטרטגיה לאלואיז היא "אחדנית" אם, בכל פעם שפורמולה 114, פורמולה 130; עבור אבילארד, אם פורמולה 116 מרמזת על פורמולה 130. משפט 2: אסטרטגיה לאלואיז היא'' אחידה אם תמיד נוסחה 114, נוסחה 130, אם אבילארד מרמז נוסחה 116 נוסחה 130. שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
כן, כן.