vi redan bevisat H.