Он сразу может обнаружить ошибку по сумме старших разрядов, т.е. 9 тысяч + 6 тысяч никак не может получиться 97 тысяч - вот и ошибка.
При складывании двух целых четырехзначных чисел может получиться максимум 19998. (это числа 9999+9999=19998) все остальные числа будут давать меньшую сумму
