if ∠1 = ∠3