結果 : show a function is well defined