A egendomen finnes en betydligmängd