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