結果 : assertion a function is a subprogram