Catalan theorem data-rate theorem Artin theorem Ky Fan theorem Pythagorean theorem Fermat last theorem Picard theorem Jacobi theorem Ramsey theorem Adult theorem
