theorem Th1: :: EUCLID11:1

for A, B being Point of (TOP-REAL 2) holds angle (A,B,A) = 0