結果 : prove work is path function