“…Let S 1 be an invertible matrix such that Y = S Let us write Z = Z ij 1≤i,j≤3 and Z = Z ij 1≤i,j≤3 as 3 × 3 block matrices and by (7) we have that Z ij , Z ij ∈ Z 2 [C] = GF (2 3 ) ⊆ M 3 (Z 2 ), hence each of them is either zero or invertible. Then (8) implies Observe that each block on the left side belongs to Z 2 [C] = GF (2 3 ) ⊆ M 3 (Z 2 ), and so is either zero or invertible. On the other hand, on the right side, each block in the last two columns has rank at most two.…”