Målet förekommer , dS prestbewisom