[math-fun] 7.11 puzzle