Esto puede usarse para probar la conmutatividad de los grupos de homotopía superiores.