Catalan theorem Artin theorem Ky Fan theorem Pythagorean theorem Fermat last theorem Picard theorem Ramsey theorem Adult theorem Barbier theorem Jacobi theorem