Härtill kommer en ej obetydligmängd