Odpovídáte na názor ke článku Počítání s přetečením v C.
Ona je ovšem tahle tabulka načmáraná na kus papíru podstatně rychlejší a spolehlivější než matematický důkaz. V důkazu totiž můžeš udělat chybu, které si nevšimneš, kdežto když na to jdeš hrubou silou, máš jistotu, že to bude fungovat.
Znaménková čísla tam jsou, ale on ten algoritmus [1] stejně nefunguje.