Проверки

	Проверить самодвойственность функций.
	Проверить монотонность функций.
	Проверить полноту следующих систем.