we have ∠1 = ∠2