(a) ⇒ (b): Giả sử f: S
1 → X. Theo giả thuyết, có một đồng luân h: S
1 × I →
X từ f đến một bản đồ liên tục. Đó là, h0 = f và có một điểm x ∈ X sao cho,
cho tất cả s ∈ S
1, h (s, 1) = x.
Bởi vì các điều kiện sau này, các yếu tố h qua
thương S
1 × I / S1 × {1}. Đó là, h là tương đương với một thành phần
đang được dịch, vui lòng đợi..