Lambek-Moser theorem
 
x
OK