結果 : how to prove a linear function