Lax theorem and Artin theorem. Lax theorem and Artin theorem 并列题名：Lax theorem and Artin theorem Beatty theorem and Lambek-Moser theorem