waiting your feedback on this famous problem

as most of you know this farmer chess problem :







the title of diagram is "white to play and win" ,but im not sure it leads to a win for white..i think its a draw
you can see this:(history of the problem )
and the solution is here:

and finally see this java reply
it states:
there is a draw chanse for black at move 4...Kg4! seems to lead to a draw.
can anyone prove this line for me?
i just want to be sure that 4...Kg4! leads to a draw
if anyone can access to a strong chess server to analysis it and write his result on the feedback i will appriciate him..and a lot of thanks

Post your reply: