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