** 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.

** Openness Euphoria, 1974 – 1982 during which policies were introduced to encourage Arab and foreign investment through a series of incentives and liberalizing trade and payment ; the economy expanded but this proved unsustainable and growth consequently scaled back.

** Boxing: Muhammad Ali loses to Trevor Berbick ; this proved to be Ali's last-ever fight.

** Siglen proved to be more harm than good when it came to dealing with the Rowan.

** Noah Linden and Sandu Popescu proved that the presence of entanglement is a necessary condition for a large class of quantum protocols.

** New Harmony, Indiana ( founder: Robert Owen ) — practiced economic communism, although it proved to be socially flawed and thus unable to sustain itself.

** In the realm of relativistic many-bodied mechanics, namely the time-symmetric Wheeler – Feynman absorber theory: the equivalence between an advanced Liénard – Wiechert potential of particle j acting on particle i and the corresponding potential for particle i acting on particle j was demonstrated exhaustively to order before being proved mathematically.

** His townhouse, the " Petit Château " at 660 Fifth Avenue, New York, with details drawn in part from the late-Gothic Hôtel de Cluny, Paris, proved an influential example for other Gilded Age mansions, but was demolished in 1926.

** ( 3 minutes 11 seconds long ): Second test at Dutch Springs: Protei 5 proved faster than a standard Dacor scooter ; Protei 5 estimated duration on a batteryful 3 hours 40 minutes

** the Government decision of December 2002 to agree in principle to the provision of additional resources was made contingent on the outcome of the review, and so had proved meaningless.

** 1852: Ludwig Schläfli proved in his manuscript Theorie der vielfachen Kontinuität that there are exactly 6 regular polytopes in 4 dimensions and only 3 in 5 or more dimensions.

** The Lovász local lemma ( proved in 1975, by László Lovász & P. Erdős )

** Algorithmic Lovász local lemma ( proved in 2009, by Robin Moser and Gábor Tardos )

** T54 / E1-Tested in 1942, the gun mount quickly proved to be unstable when fired, and the improved T54E1, which also added a circular armored shield and rear armor to the vehicle, could not fix the inherent problem.

** See also Salmond on " Citizenship and Allegiance ," in the Law Quarterly Review ( July 1901, January 1902 ).

** This is, on the whole, an informed and good account of the life and accomplishments of one of the greatest influences on the development of thought both Eastern and Western.

** This is a distinguished work which stands out from, and above, many of the books and articles which have ben written in this century on Avicenna ( Ibn Sīnā ) ( A. D. 980 – 1037 ).

** Earliest day on which Caribana celebration can fall, celebrated on the first Weekend of August.

** Earliest day on which Emancipation Day can fall, celebrated on the first Monday of August.

** Lughnasadh, traditionally begins on the eve of August 1.

** Cadius Rufus was executed on the charge of extortion.

** Various articles on Alcidamas ( 1856 – 1919, with links to further online material )

** Gordon-Reed, Annette speaking on CSPAN Booktv Andrew Johnson

** Khmer New Year, or Chol Chnam Thmey, most commonly celebrated on April 13 ( Cambodia )

** To use a long dash on Wikipedia, type in "".

** called a god on Malta ( 28: 6 )

** Ability to run on an IA-64 architecture processor, although this never went beyond beta

** Minimum level required for POWER4 hardware and the last release that worked on the Micro Channel architecture

** Ability to run in a Logical Partition on POWER4

** Ability to run on 64-bit architecture CPUs

** Run on RS / 6000 systems with PowerPC processors and PCI busses.

** Optional POKEY sound chip on cartridge for improved sounds.

** Headphone port ( stereo ; wired for mono on the original Lynx )