Det sednare är bewist och detta bewisgiswer