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