==Доказательство ==
'''I.''' Докажем прямую теорему'''.''' Предположим* Заметим, что '''F''' не содержит функциюнеобходимость этого утверждения очевидна, обладающую одним так как если бы все функции из набора К входили в один из перечисленных выше свойствклассов, то и все суперпозиции, но тогда мы не сможем через функцииа значит, входящие и замыкание набора входило бы в '''F''' выразить функции, обладающие этим свойством, этот класс и следовательно '''F''' класс К не будет полной системой функций, что противоречит условию, следовательно '''F''' должна содержать все вышеперечисленные функции'''.''' '''II.''' Докажем обратную теорему'''мог быть полным.'''
* Докажем достаточность этого утверждения.
У нас есть 5 функций: несохраняющая 1 - <math>f_1</math>, несохраняющая 0 - <math>f_0</math>, несамодвойственная - <math>f_s</math>, немонотонная - <math>f_m</math>, нелинейная - <math>f_l</math>'''.'''
