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