الجملة الأولى: هذا يخبرنا أن مجموعات (ديراهام) التجانسية (الفورمولا 4) كلها متجانسة. الجملة الثانية: هذا يخبرنا أن مجموعات التكافل المتجانسة في الصيغة الرابعة كلها ديراهامز. السؤال: هل تعبر الجملة الأولى والجملة الثانية عن نفس المعنى؟ نعم أم لا؟