Stumbled across this today, thought the LW crowd would find it amusing. Would make a great non-mathematical example of a nonconstructive proof if you ever need one.