Lambek–Moser_theorem loading ...