Oxygen releases oxygen into the atmosphere, while respiration, decay, and combustion remove it from the atmosphere. In the present equilibrium, production and consumption occur at the same rate. Free oxygen also occurs in solution in the world's water bodies. The increased solubility of at lower temperatures (see Physical properties) has important implications for ocean life, as polar oceans support a much higher density of life due to their higher oxygen content. Water polluted with plant nutrients such as nitrates or phosphates may stimulate growth of algae by a process called eutrophication and the decay of these organisms and other biomaterials may
Proofs involving the addition of natural numbers Proofs involving the addition of natural numbers This article contains mathematical proofs for some properties of addition of the natural numbers: the additive identity, commutativity, and associativity. These proofs are used in the article Addition of natural numbers. This article will use the Peano axioms for the definitions of addition of the natural numbers, and the successor function S(a). In particular: For the proof of commutativity, it is useful to define another natural number closely related to the successor function, namely "1". We define 1 to be the successor of 0, in other words, Note that for all natural numbers