[math-fun] prime ladders