数学の質問かどうかわからんが、あみだくじが無限ループにならないことって証明できるかな？