結果 : proposition in discrete mathematics examples