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