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