نظرية البرهان التلقائية