Det första beviset derför varresultatet