Найти неизвестные десятичные цифры А, Б, В за минимум кратких, точных рассуждений — утвердительных высказываний

Решение.
Приведем утверждения:
1.    Так как переноситься в следующий разряд при сложении двух десятичных
цифр А и В может лишь 1, то Б = 1.
2.    Так как при сложении 5 и А получаем в младшем разряде 2, то А = 7 и в следующий разряд переносится 1.
3.    Следовательно, В + 7 + 1 оканчивается на 2, т. е. В = 4.
Решение найдено за 3 рассуждения, хотя разрядов в числах больше.