Theorem

Let vectors in

Then