בְּלוֹגָרִיתְמוּס מס' 57 – הוכחה בדרך השלילה