Affine space/Point set/Barycentric combination/Point/Fact

For a family ${}P_{i}$, ${}i\in I$, of points in an affine space ${}E$, a barycentric combination

$\sum _{i\in I}a_{i}P_{i}$

defines a unique point in ${}E$.

Write a proof