The vectors form a basis for if and only if .