Demonstração. Mostre que A\vecx = \vec0 tem apenas a solução trivial iff