即ち、標準格子空間formula_23上の点は、行列によって、必ずformula_31に移すことが出来る。