``
``
``
``
simo
`
$((ABC),(ABcongAC),(BAinr),(CAins),(AP inr),(AQins),(APcongAQ) ) rarrBQcongCP$
dim:
$1) QABcongPAC text( per LAL:)$
${(QAcongPA text( per hp)),(hat(QAB)conghat(PAC)text( per O.V.)),(ABcongAC text( per hp)):}
$2) QABcongPAC rarr QBcongPC text( perche' lati corrispondenti di ) Delta cong $
C.V.D.