Once u and v have been constructed, one has to check that the resulting function f does indeed have all the required properties.
一度、u と v が構成されると、結果として現れる函数 f が実際に全て要求された性質を満たすことをチェックする必要がある。