اثبات لا مساواة باستعمال مبدأ البرهان بالتراجع