That theorem, assuming "lines" means "segments of equal length", is a trivial consequence of "three non-aligned points define a unique circle", a well-known the

That theorem, assuming "lines" means "segments of equal length", is a trivial consequence of "three non-aligned points define a unique circle", a well-known theorem taught in grade school (at least in France).