1) [tex]\overline{WX} \cong \overline{UY}[/tex], [tex]\angle YXZ \cong \angle XYZ[/tex] (given)
2) [tex]\overline{XY} \perp \overline{XY}[/tex] (reflexive property)
3) [tex]\triangle WXY \cong \triangle UYX[/tex] (SAS)
4) [tex]\overline{WY} \perp\overline{ UX}[/tex] (CPCTC)
