theorem

for

a being

Real for

A,

B,

C being

Point of

(TOP-REAL 2) for

b,

c,

d,

r,

s being

Real st

A,

B,

C is_a_triangle &

A in circle (

a,

b,

r) &

B in circle (

a,

b,

r) &

C in circle (

a,

b,

r) &

A in circle (

c,

d,

s) &

B in circle (

c,

d,

s) &

C in circle (

c,

d,

s) holds

(

a = c &

b = d &

r = s )