الجملة الأولى: في عام 1933 ، نشر ألفورس إثباتًا قصيرًا لما يسمى الآن جملة " كارلمان ". الجملة الثانية: في عام 1933 ، نشر كارلمان برهاناً قصيراً لما يسمى اليوم بنظرية دينجوي كارلمان أولفورز السؤال: هل تعبر الجملة الأولى والجملة الثانية عن نفس المعنى؟ نعم أم لا؟