fortune math

This CGI script has called the fortune file math. which is maintained at this cite . Push reload on your browser to generate a new fortune . Download fortune file
math (Version of March. 30. 2000, 51 Kbytes ASCII)

Theorem: the square root x of 2 is irrational. 
Proof: x=n/m with gcd(n,m)=1 implies 2=n^2/m^2 which is
2 m^2=n^2 so that n must be even and n^2 a multiple of 4. 
Therefore m is even. This contradicts gcd(n,m)=1.