لنفترض العكس، أي أن b ليس عددًا سالبًا. هذا يعني أن b إما صفر أو عدد موجب.
إذا كان b = 0، فإن 1/b غير معرف، وبالتالي لا يمكن أن يكون 1/b < 0.
إذا كان b عددًا موجبًا، فإن 1/b سيكون أيضًا عددًا موجبًا، وبالتالي لا يمكن أن يكون 1/b < 0.
في كلتا الحالتين، نصل إلى تناقض مع المعطى الذي ينص على أن 1/b < 0. لذلك، يجب أن يكون افتراضنا الأولي خاطئًا، ويجب أن يكون b عددًا سالبًا.