Orthogonal decomposition theorem theorem Gram-Schmidt orthonormalization definition Example Orthogonal projection norm lemma Bessel’s inequality lemma Cauchy-Schwarz inequality lemma Root norm lemma