The power method converges