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