Half bewisning har sålunda förekommitmot