Teorema da base dual: Sea V un espacio vectorial y, formula_15 e formula_16