Регрессивное доказательство
— противоположно прогрессивному; второе идет от общего к частному, от основания к выводу, первое от частного к общему, от следствия к условиям.