結果 : proof a function is well defined