البرهان بالتراجع مع أمثلة تطبيقية