برهان نظرية بوراك