Inner product, length, orthogonality, Pythagorean theorem, orthogonal complements of subspaces.