Med antagandet af en sådangrundsats