|
<math>X</math>가 [[CW 복합체]]이며, <math>X_p</math>가 그 <math>p</math>차원 세포들로 구성된 부분 공간이라고 하자. 그렇다면 다음과 같은 완전 도형이 존재한다.
:<math>\begin{matrix}
&&\vdots&&\vdots&&\vdots&&\vdots\\
&&\downarrow\scriptstyle f&&\downarrow&&\downarrow\scriptstyle f&&\downarrow\\
\cdots&\to&H_{n+1}(X_p)&\xrightarrow g&H_{n+1}(X_p,X_{p-1})&\xrightarrow h&H_n(X_{p-1})&\xrightarrow g&H_n(X_{p-1},X_{p-2})&\to&\cdots\\
&&\downarrow\scriptstyle f&&\downarrow&&\downarrow\scriptstyle f&&\downarrow\\
\cdots&\to&H_{n+1}(X_{p+1})&\xrightarrow g&H_{n+1}(X_{p+1},X_p)&\xrightarrow h&H_n(X_p)&\xrightarrow g&H_n(X_p,X_{p-1})&\to&\cdots\\
&&\downarrow\scriptstyle f&&\downarrow&&\downarrow\scriptstyle f&&\downarrow\\
&&\vdots&&\vdots&&\vdots&&\vdots
\end{matrix}</math>
이에 따라,
| 