I'm defining this, the angle between two vectors in Rn that could have an arbitrary number of components, I'm defining this angle to be the same as this angle, the angle between the two sides, the two lengths of those vectors in just a regular, run of the mill triangle.