Numerical Representation of data - Arithmetic mean (property 1.2) proof.