二項係数が整数になることは明らかなのでしょうか?