Orthogonal Vectors, Linear Independence