finnes säkert en helmängd