# A calculus of the absurd

##### 22.7.4 Some useful properties orthogonal vectors possess.
• Theorem 22.7.1 Let $$A$$ be a set of non-zero pairwise orthogonal vectors (that is, any two vectors are orthogonal - as defined in 22.7.1), then this set is linearly independent.

todo: proof