Suppose Range(T) is infinite dimensional. Since Range(T) is closed, the map

is a bijection between Hilbert spaces. Take a sequence of pairwise orthogonal elements such that . By the bounded inverse theorem, , so since T' is compact should have a convergent subsequence. This is a contradiction since has no subsequence that is Cauchy.