Now each additional summand in the partial sum expression is obtained using one of the two fixed direct isometries .
Now each additional summand in the direct sum expression is obtained using one of the two fixed partial isometries , so