nCmが整数なので、A*((n-1)C(m-1)/B)も整数であろう。
しかし、((n-1)C(m-1)/B)が整数と判断するのは論理の飛躍だ。

n=2, m=2, g=1と仮定すると、A=n/g＝2/1=1, B=m/g=2/1=2.
すると、((n-1)C(m-1)/B)＝(1Ｃ1)/2となって整数ではない。