** Andrew Wiles wins worldwide fame after presenting his proof of Fermat's Last Theorem, a problem that had been unsolved for more than 3 centuries.

** What is Mathematics: Gödel's Theorem and Around by Karlis Podnieks.

** Theorem 1: The amount of talking and nonverbal communicative expressions are positively related.

** Theorem 2: The amount of communication and its intimacy level is positively related.

** Theorem 3: Time spent in interaction and questions posed are inversely related.

** Theorem 4: Time spent communicating and instance of symmetric exchanges are inversely related.

** Theorem 5: The amount of communication and liking are positively related.

** Theorem 6: The amount of communication and personal similarity are positively related.

** Theorem 7: Nonverbal expressions and intimacy level of conversation are positively related.

** Theorem 8: Nonverbal expressions and information seeking are inversely related.

** Theorem 9: Nonverbal expressions and instance of symmetrical exchange are inversely related.

** Theorem 10: Nonverbal expressions and liking are positively related.

** Theorem 11: Nonverbal expressions and similarity are positively related.

** Theorem 12: The level of communication intimacy and information seeking are inversely related.

** Theorem 13: The level of communication intimacy and instance of symmetrical exchange are inversely related.

** Theorem 14: The level of communication intimacy and liking are positively related.

** Theorem 15: The level of communication intimacy and similarity are positively related.

** Theorem 16: Posing questions and symmetrical exchanges are positively related.

** Theorem 17: Posing questions and liking are negatively related.

** Theorem 18: Posing questions and similarity are negatively related.

** Theorem 19: Instance of symmetrical exchange and liking are negatively related.

** Theorem 20: Instance of symmetrical exchange and similarity are negatively related.

** Theorem 21: Similarity and liking are positively related.

** Telemachus: Nobuo Tobita

** Voiced by: Nobuo Tobita

** Eunectes murinus, the green anaconda, the largest species, is found east of the Andes in Colombia, Venezuela, the Guianas, Ecuador, Peru, Bolivia, Brazil and on the island of Trinidad.

** Eunectes notaeus, the yellow anaconda, a smaller species, is found in eastern Bolivia, southern Brazil, Paraguay and northeastern Argentina.

** Eunectes deschauenseei, the dark-spotted anaconda, is a rare species found in northeastern Brazil and coastal French Guiana.

** Eunectes beniensis, the Bolivian anaconda, the most recently defined species, is found in the Departments of Beni and Pando in Bolivia.

** Tarski's theorem: For every infinite set A, there is a bijective map between the sets A and A × A.

** The Cartesian product of any family of nonempty sets is nonempty.

** König's theorem: Colloquially, the sum of a sequence of cardinals is strictly less than the product of a sequence of larger cardinals.

** Hausdorff maximal principle: In any partially ordered set, every totally ordered subset is contained in a maximal totally ordered subset.

** For every non-empty set S there is a binary operation defined on S that makes it a group.

** Tychonoff's theorem stating that every product of compact topological spaces is compact.

** In the product topology, the closure of a product of subsets is equal to the product of the closures.

** If S is a set of sentences of first-order logic and B is a consistent subset of S, then B is included in a set that is maximal among consistent subsets of S. The special case where S is the set of all first-order sentences in a given signature is weaker, equivalent to the Boolean prime ideal theorem ; see the section " Weaker forms " below.

** Any union of countably many countable sets is itself countable.

** If the set A is infinite, then there exists an injection from the natural numbers N to A ( see Dedekind infinite ).

** Every infinite game in which is a Borel subset of Baire space is determined.

** The Vitali theorem on the existence of non-measurable sets which states that there is a subset of the real numbers that is not Lebesgue measurable.

** The Lebesgue measure of a countable disjoint union of measurable sets is equal to the sum of the measures of the individual sets.

** The Nielsen – Schreier theorem, that every subgroup of a free group is free.