Линейное доказательство повторности функций в бинарном базисестатья