Ky Fan theorem Catalan theorem Artin theorem Pythagorean theorem Picard theorem Pick theorem Ramsey theorem Adult theorem Bézout theorem Jacobi theorem