Your candidate for will certainly imply that the equation holds. The columns being orthonormal (as they are, by inspection), implies that , and Those are differently sized identity matrices, of course.

What I don't know off-hand is whether your candidate is upper triangular. Why don't you post your calculations, and I'll verify those? (That's more in the spirit of this forum anyway!)