結果 : what is an implicitly defined function