dels half bewisning styrkt ,att