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