Beweis

Die Bijektivität wurde in Fakt gezeigt. Die Additivität folgt beispielsweise aus

wobei der Index die -te Komponente bezüglich der Basis bezeichnet.