The product of an eigenvector and its transpose in a bipartite graph

Question

I was reading this proof on the eigenvectors of a bipartite graph

I don't really understand the 3rd line of this proof. How do we know if there even exists such an eigenvector x1 such that $x_1^T*x_1$ =1. Seems like a really arbitrary statement that the entire proof depends on.