TIP

The Standard Basis of the real vector space is

The standard basis in is often denoted as

Theorem: Orthonormality of the Real Standard Basis

The Standard Basis of the real vector space is orthonormal.