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