Исправление Reset, 10.11.13 23:06 (текущая версия) :
Не определяешь. На шаге индуктивного перехода ты обязан доказать, что из предыдущего следует текущее.
Исходная версия Reset, 10.11.13 23:06:
Не определяешь. На шаге индуктивного перехода ты обязан доказать, что из предыдущего следует текущего.