theorem Th6: :: EUCLID11:11

for A, B, C being Point of (TOP-REAL 2) st angle (C,B,A) < PI holds
0 <= the_diameter_of_the_circumcircle (A,B,C)