結果 : discrete math properties