>>266
なるほど…
p,qは素数でm≧pqのとき
(m-[m/p])(m-[m/q])=m(m-[m/p]-[m/q]+[m/(pq)])
すなわち
[m/p][m/q]=m[m/(pq)]
が成り立てばm面体サイコロで
Yがpで割り切れることとYがqで割り切れること
が独立になるのかしら

p,qが素数でもなくてよいなら
[m/p][m/q]=m[m/lcm(p,q)]
なのかしら？