الجملة الأولى: يعني هيك إن التكافؤ المثالي بين M و W و N هو هوموتوبي من C-تشكيلة متساوية. الجملة الثانية: يعني إن معادلة التجانس بين M و W و N هي متجانسة مع التجانس C. سؤال: هل الجملة 1 والجملة 2 بتعبر عن نفس المعنى؟ نعم ولا لا؟