f x y g x y g h x y h f x y g h x y h g x y 2.2 g h x y g x y f x y g x y g h x y f x y true g h x y f x y f x y g x y g h x y g x y true h 1 1 2 f 2 0 f 2 1 1 g 2 1 0 g 2 0 NaTT certifiable-1.6