結果 : example of logical implication in math