SF2524: Power method convergence theory 1 - proof of to which eigvector it converges

From Elias Jarlebring