“البرهانُ عبر المحال"
يستخدم في الرياضيات لبرهنة صحة نظرية ما : يكفي إفتراض صحة عكس تلك النظرية والوصول إلى تناقض في البرهان ، لإثبات صحية النظرية الأصلية !”