結果 : proof examples math