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