البرهان ل&#x