Por otro lado, $\angle C'AB=\angle C'B'A'=\angle C'B'B=\angle C'CB'=90^\circ-\beta$, luego $B,C',A,B'C$ son concíclicos. Razonando de forma similar en otro ángulo, $A'$ también es concíclico, esto es, los triángulos $ABC$ y $A'B'C'$ tienen la misma circunferencia circunscrita. Si llamamos $R$ a su radio, el teorema del seno nos dice que \[\frac{BC}{\operatorname{sen}\alpha}=\frac{CA}{\operatorname{sen}\beta}=\frac{AB}{\operatorname{sen}\gamma}=\frac{B'C'}{\operatorname{sen}\alpha'}=\frac{C'A'}{\operatorname{sen}\beta'}=\frac{A'B'}{\operatorname{sen}\gamma'}=2R.\] Por lo tanto, si los dos triángulos tienen un ángulo igual, los lados opuestos a esos lados en sendos triángulos serán iguales.
En cuanto al recíproco, es falso porque tener dos ángulos iguales únicamente implica que el seno de los ángulos opuestos es el mismo, pero podrían ser ángulos suplementarios. Por ejemplo, si $\alpha=35^\circ$, $\beta=70^\circ$ y $\gamma=75^\circ$, los ángulos de $A'B'C'$ serían $\alpha'=110^\circ$, $\beta'=40^\circ$ y $\gamma'=30^\circ$. Estos dos triángulos cumplen $AC=B'C'$ porque $\operatorname{sen}(70^\circ)=\operatorname{sen}(110^\circ)$ pero no tienen ángulos iguales.