Ambil irisan \(\bigcap_{k=1}^n\pi_{i_k}^{-1}(U_k)\text{.}\) Untuk setiap \(i\) yang muncul, tetapkan \(V_i\) sebagai irisan semua \(U_k\) dengan \(i_k=i\text{;}\) untuk indeks lain tetapkan \(V_i=X_i\text{.}\) Maka irisan tersebut sama dengan \(\prod_iV_i\text{,}\) dan hanya berhingga banyak \(V_i\) yang mungkin bukan seluruh faktor. Sebaliknya, setiap kotak semacam itu adalah irisan prapeta untuk koordinat yang dibatasi.