X = {1, 2, 3, 4, 5, 6}^ℕに、有限個の違いを無視する同値関係～を入れる

X/～の代表元を取る

s∈Xに対して、sが属する類と一致し始める最初の位置をN(s)で表す

振ったサイコロを二列に分ける

それぞれの列が仮にs1, s2だったとすると、N(s1) < N(s2)となる確率は対称性から1/2

一列目を全開放して、N(s1)を確認する

二列目のN(s1)番目を残して開ける

s2が属する同値類を確認する

N(s1) < N(s2)となる確率は1/2だったから、1/2で当てることができる