結果 : existential statement examples in math