Lambek–Moserの定理