二項係数の性質