一度、uとvが構成されると、結果として現れる函数fが実際に全て要求された性質を満たすことをチェックする必要がある。
一旦构造了u{\displaystyleu}和v{\displaystylev}，我们还需要验证所得到的函数f{\displaystylef}确实满足所有需要的性质。