Lax theorem and Artin theorem Lax theorem and Artin theorem. 并列题名：Lax theorem and Artin theorem Beatty theorem and Lambek-Moser theorem based on the extended carnot theorem