We want to apply fact to
We have
and
Therefore,
so that wir can choose
Hence,
with
Finally,
is a basis with the intended properties.
The inverse matrix to
is
therefore,