涵化例子