[math-fun] Four-star Hanoi: a number-theoretic oddity.