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