Стоят 2 автомата, работающие с натуральными числами. Принцип работы такого автомата следующий: на вход автомата вводится произвольное натуральное число или 0. После нажатия кнопки ПУСК автомат через произвольные промежутки времени увеличивает исходное число на единицу. Оператор ввел числа - в первый автомат -n= 3, а во второй - m=1.
Через сутки оператор записал показываемые автоматами числа.
Еще через сутки оператор остановил автоматы и зафиксировал:
1) на автоматах отображались числа: на первом - n=23, на втором - m=17.
2) СЛУЧАЙНО ОКАЗАЛОСЬ, что в промежуточный момент - сутки ранее - первый автомат показывал число , равное числу, которое второму автомату осталось набрать до выключения оператором."
Доказать, что при любых конечных числах n >= m, и любых вводных в автомат числах при включении найдется такой промежуточный момент времени работы автоматов, что выполнится условие 2)