البرهان بالتراجع في المتتاليات