結果 : what is a proof in math example