結果 : program verification example