Linear independence of orthogonal sets lemma
Coordinates in orthogonal basis definition
Pythagorean theorem theorem
Orthogonal complement definition
Properties of orthogonal complements lemma
Orthogonal projection definition
Properties of orthogonal projection lemma