Artin theorem Barbier theorem Catalan theorem Hurwitz theorem 并列题名：Artin theorem Chaplygin theorem Ramsey theorem Jacobi theorem Ky Fan theorem Zernov theorem