Theorem

Let

  • vectors in
  • points vectors in

Then

Or (in terms of components)