しかし finit が 有限 というのはあまり知られていない