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