015 ; LinAlg ; Invertibility of the Linear Functionals of a Dual Basis