 Let "F" be the orthogonal complement of the linear span of "U".If "F" ≠ {0}, it is a non-trivial invariant subspace of "T", and by the initial claim there must exist a norm one eigenvector "y" of "T" in "F".But then "U" ∪ {"y"} contradicts the maximality of "U".