modifica
{$(ABpmCD,CDcongFG)rarr(ABpmCDcongABpmFG)$ [assioma] di [sostituzione] (o transititiva'): posso sostituire ad un segmento uno ad esso $cong$ }
{$(ABcongkCD,CDcongFG)rarr(ABcongkFG)$ [assioma] di [sostituzione] : posso sostituire ad un segmento uno ad esso $cong$ }
{$(hat(A)pmhat(B),hat(B)conghat(C)) rarr (hat(A)pmhat(B)conghat(A)pmhat(C))$ assioma di sostituzione (o transititiva'): posso sostituire ad un angolo uno ad esso $cong$ }
{$(hat(A)congkhat(B),hat(B)conghat(C))rarr(hat(A)congkhat(C))$ assioma di sostituzione: posso sostituire ad un angolo uno ad esso $cong$ }
{ [equivalenza] $(Adot=B,Bdot=C) rarr(Adot=C)$ assioma di sostituzione (o transititiva'): posso sostituire ad un angolo uno ad esso $cong$}
{ [equivalenza] $(Adot=kB,Bdot=C) rarr(Adot=kC)$ assioma di sostituzione: posso sostituire ad un angolo uno ad esso $cong$ }