Hurewicz theorem (source code)

= Hurewicz theorem
{c}
{wiki}

If a path-connected space is $(n-1)$-connected for $n\geq2$, then its first potentially nonzero homotopy group maps isomorphically to homology:
$$
\pi_n(X)\xrightarrow{\sim}H_n(X;\mathbb Z).
$$