This shows that y is an eigenvector of T, and ends the proof of the claim.
このことから、y は T の固有ベクトルであり、主張の証明は完成される。