式に名前を付けると漸化式が見える。
表示された階乗比を f(m,n)f(m,n)f(m,n) とおく。すべての非負整数 m,nm,nm,n で f(m,n)f(m,n)f(m,n) が整数であることを示す。