Hi, I am intrigued at how this is almost proven on a computer? Since you have to test all the even integers to infinity, I am assuming you guys are almost at infinity?
As for the last line of hey. like's post I have a screen shot...
http://www.jiangmao.plus.com/avatars/final_lines.jpg