modifica
{ [asse] [circocentro] [triangolo] }
{ [definizione] [circonferenza] [asse] (A,B)$:={forall(P):d(P,A}
=d(P,B) }
$