. show



-----------------------------------------
-- オイラーのφ関数
-----------------------------------------
--
-- + 正の整数 n に対して、1 から n までの自然数のうち n と互いに素な
--   ものの個数（1 と n は互いに素と
combinationSize :: Integral a => a -> a -> a
combinationSize m n = div (fallingFactorial m n) (factorial n)
combinationSize m n = div (fallingFactorial m n) (factorial n)