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