Two column proof that can include CPCTC, HL, or any angle postulates

Step-by-step explanation:
m ∠WBX = 180° - m ∠3
m ∠ZAY = 180° - m ∠4
ΔWBX ≅ ΔZAY as per SAS postulate
∠W ≅ ∠Z as corresponding angles of congruent triangles
As per above the triangle WTZ is isosceles