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