Inner Product Norm Is a Norm