結果 : how to prove if a function is well defined