We want to apply fact to
We have
Therefore,
so that we can choose
Hence,
is a looked-for basis. With respect to this basis, the linear mapping is described by the matrix