This mathematical proof can also be written with the second moometric identity:

Where Moo is the universal moometric constant.

A long-standing tradition of mathematics has been the discovery of new truths pertaining to two-cow ownership. Currently, 45,89345,89445,89545,89645,89745,89845,899 45,900 two-cow truths are known. The complete list are given in the pages following. Nostradamus demonstrated in 1555 that the total number of two-cow truths is infinite.

A related but much more difficult problem is the identification of philosophical truths involving the ownership of three cows. An infinite number of these is also expected to exist, although this is unproven. To date, very few three-cow truths are known to exist, all of which have yet to be proven. In coming years this problem is expected to become much more important, as Microsoft has announced that the next version of Windows will require users to have three cows, or, alternatively, two overmilked ones. Linux however only needs a pint of milk, but you need to deliver the milk through the command prompt with the use of four pipes, an awk and a sed.