رعب (نظرية برهان)