Почему -INT_MIN = INT_MIN в знаковом представлении с дополнением до двух?

Я до сих пор не нашел причину, почему наименьшее отрицательное число со знаком не имеет эквивалентного положительного числа со знаком? Я имею в виду трехзначное двоичное число для простоты 100 равно -4? но у нас не может быть положительного 4 в подписанном формате, потому что мы не можем. Он переполняется. Итак, как мы узнаем, что двойное дополнение 1000 равно -4, 1000 0000 равно -128 и так далее? У нас нет исходного положительного числа