
theorem Thm33:
  for A,B,C be Point of TOP-REAL 2 st A,B,C is_a_triangle holds
  the_diameter_of_the_circumcircle(A,B,C)=
  - the_diameter_of_the_circumcircle(C,B,A)
  proof
    let A,B,C be Point of TOP-REAL 2;
    assume A,B,C is_a_triangle; then
    the_diameter_of_the_circumcircle(A,B,C)=
    - the_diameter_of_the_circumcircle(A,C,B) by Thm32;
    hence thesis by Thm27;
  end;
