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