Robuta

https://en.wikiversity.org/wiki/Vector_space/K/Inner_product/Finite-dimensional/Orthonormalization/Fact Vector space/K/Inner product/Finite-dimensional/Orthonormalization/Fact - Wikiversity vector space inner product k finite dimensional