結果 : deductive method in mathematics