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