L − множество 6-мерных арифметических векторов, у которых чётные коомпоненты равны нулю, {x =(x1, 0, x2, 0, x5, 0 )} − трёхмерное линейное пространство, изоморфное пространству арифметических векторов R3.
Действительно.
Как видно из приведенных выше соотношений, множество L − трёхмерное линейное пространство (три вектора e1, e2и e3 образуют базис), изоморфное пространству трёхмерных арифметических векторов R3.