let V and W de dimensão finita. A condição exata para existir mapa linear injetor de V em W é: