Исправление cvs-255, 21.09.20 17:04 (текущая версия) :
Нет, это теорема
Доказывается по индукции
Исходная версия cvs-255, 21.09.20 17:04: