x,yはx≧yを満たす自然数であるとき,"C[x,y]は組み合わせの定義より整数である"としていいんでしょうか？
なんか論理が循環してるように思えるんですけど。。。