Frobenius Norm Is a Norm on Linear Maps Between Euclidean Spaces