So I learned that if a vector (a1, a2, a3) is transformed to a different set of coordinates, and the components of the resulting vector are squared like so: (a1'2, a2'2, a3'2), this result is not itself a vector. The proof for this simply shows that each component ai'2 does not transform to ai2...