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