Denna de * s egenskap harsynbar