משפט 1: זה אומר שההשוואה ההומוטופית בין M, W ו-N היא הומוטופיה של C-אייזומורפיזם. משפט 2: זה אומר שהשוויון ההומוטופי בין M, W ו- N הוא הומוטופי לאיזומורפיזם C. שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
לא, לא.