Holmer ansåg , att endasthalfbewisning