Antagandet af en sådandimensionslag