[math-fun] Prime ladders