From: utzoo!decvax!harpo!eagle!mhuxt!mhuxj!mhuxi!mhuxv!burl!sb1!ll1!ihldt!ixn5c!inuxc!pur-ee!uiucdcs!renner
Newsgroups: net.jokes
Title: Re: Re: Obscure math joke - (nf)
Article-I.D.: uiucdcs.1394
Posted: Thu Jan 27 00:26:59 1983
Received: Sun Jan 30 11:30:32 1983

#R:utzoo:-277500:uiucdcs:9900072:000:346
uiucdcs!renner    Jan 26 23:06:00 1983

It is also possible to prove that all horses have six legs, as follows:

* direct proof:  all horses have 2 hind legs as well as forelegs, making
		 6 legs in all.

* indirect proof: assume that there is a horse that does not have six legs.
       That, however, would be a horse of a different color, which by the
       lemma, does not exist.