[math-fun] Sparse rulers proof