結果 : prove a function is well defined