結果 : example of universal existential statement in mathematics