The Most Beautiful Proof sqrt(2) is Irrational