g 0 f x x x g x s y g f x y 0 g s x y g f x y 0 g f x y 0 f g x 0 g y 0 2.2 g s x y g f x y 0 g f x y 0 g x 0 g x s y g f x y 0 g f x y 0 g y 0 true g x s y g f x y 0 false g f x y 0 g y 0 g f x y 0 g x 0 g s x y g f x y 0 true s 1 1 23678 f 2 1 2 1 0 0 23676 g 2 1 2 0 g 2 0 NaTT certifiable-1.6