Sia \(\{G_n\mid n\in\mathbb N_{\ge 1}\}\) un insieme di gruppi abeliani indicizzato dai numeri interi positivi.
Esiste una successione di spazi topologici \(\mathcal X = \{X_n\mid n \in\mathbb N_{\ge 1}\}\) tale che siano soddisfatte contemporaneamente queste due proprietà?
1. \(X_n \not\simeq X_m\) se $n\ne m$;
2. $pi_k(X_n) = G_k$ per ogni \(X_n\in \mathcal X\).