Theorem: Prove that the coordinates of centroid of the triangle whose coordinates are `(x_1;y_1);(x_2;y_2) and (x_3;y_3)` are `((x_1+x_2+x_3)/3;(y_1+y_2+y_3)/3)`