分からない問題はここに書いてね461

[0460 １３２人目の素数さん 2020/07/21(火) 20:04:28.44 ID:Con3FeDK]

まあ
0≦n_i,m_i≦p-1かつ(n_i)+(m_i)≧pのとき
((n_i)+(m_i))!/(n_i)!(m_i)!≡0 mod p
を既知とするなら
(n+m)!/n!m!≡Π((n_i)+(m_i))!/(n_i)!(m_i)! mod p
の一式だけでも十分か