Om den bewisning ,som