We adopt the following rules: p1, p2, p3, p4, p5, p6, p, p7 denote points of E2 T and a, b, c, r, s denote real numbers. Next we state four propositions: (1) If sin](p1, p2, p3) = sin](p4, p5, p6) and cos](p1, p2, p3) = cos](p4, p5, p6), then ](p1, p2, p3) = ](p4, p5, p6). (2) sin](p1, p2, p3) = −sin](p3, p2, p1). (3) cos](p1, p2, p3) = cos](p3, p2, p1). (4) ](p1, p4, p2)+](p2, p4, p3) = ](p1, ...