The inner product of x with itself is always non-negative.
Thêm nữa, tích vô hướng của x với chính nó luôn luôn không âm.