Tahap 1: unsur \(E^m\) sepenuhnya ditentukan oleh \(m\) koordinat pertamanya. Tahap 2: perluas setiap vektor di \(\R^m\) dengan nol untuk semua indeks yang lebih besar dari \(m\text{.}\)